41![A Model of Type Theory in Simplicial Sets A brief introduction to Voevodsky’s Homotopy Type Theory T. Streicher Fachbereich 4 Mathematik, TU Darmstadt Schlossgartenstr. 7, DDarmstadt A Model of Type Theory in Simplicial Sets A brief introduction to Voevodsky’s Homotopy Type Theory T. Streicher Fachbereich 4 Mathematik, TU Darmstadt Schlossgartenstr. 7, DDarmstadt](https://www.pdfsearch.io/img/84db480a61affe054f9ead565fea2d1c.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2011-11-12 04:58:44
|
---|
42![Modeling set theory in homotopy type theory Jérémy Ledent Supervised by Bas Spitters & Freek Wiedijk Radboud University of Nijmegen, Netherlands May 19 to August 08, 2014 Modeling set theory in homotopy type theory Jérémy Ledent Supervised by Bas Spitters & Freek Wiedijk Radboud University of Nijmegen, Netherlands May 19 to August 08, 2014](https://www.pdfsearch.io/img/a057527ed701bc14d3b10f04d4b41be0.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2015-04-28 15:21:22
|
---|
43![Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren](https://www.pdfsearch.io/img/31063c7053767b21b2fcb344548df126.jpg) | Add to Reading ListSource URL: mawarren.netLanguage: English - Date: 2013-08-22 15:46:58
|
---|
44![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/e784f8d7a877b1ddbcda6988d5fbe09a.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:47
|
---|
45![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/8b9bc10e1f6e8be34cb69d7961efaaca.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:55
|
---|
46![A cubical set model of type theory Thierry Coquand (j.w.w. Marc Bezem and Simon Huber) TYPES, May 12, 2014
A cubical set model of type theory A cubical set model of type theory Thierry Coquand (j.w.w. Marc Bezem and Simon Huber) TYPES, May 12, 2014
A cubical set model of type theory](https://www.pdfsearch.io/img/70dd95181722588185832ec3c9bbb5cf.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2014-05-13 04:25:19
|
---|
47![Eilenberg-MacLane Spaces in Homotopy Type Theory Daniel R. Licata ∗ Eric Finster Eilenberg-MacLane Spaces in Homotopy Type Theory Daniel R. Licata ∗ Eric Finster](https://www.pdfsearch.io/img/dd82a54b2c3c7935dc220e27224ea52a.jpg) | Add to Reading ListSource URL: dlicata.web.wesleyan.eduLanguage: English - Date: 2014-05-15 22:28:42
|
---|
48![πn (Sn ) in Homotopy Type Theory Daniel R. Licata1 and Guillaume Brunerie2 2 1 πn (Sn ) in Homotopy Type Theory Daniel R. Licata1 and Guillaume Brunerie2 2 1](https://www.pdfsearch.io/img/4d13e0dec4d7834e9b82738270d41ef6.jpg) | Add to Reading ListSource URL: dlicata.web.wesleyan.eduLanguage: English - Date: 2013-12-09 00:31:04
|
---|
49![Mathematics / Deontic logic / Formal epistemology / Steve Awodey / Norm / Modal fictionalism / Linguistic modality / Formal ethics / Homotopy type theory / Logic / Mathematical logic / Modal logic Mathematics / Deontic logic / Formal epistemology / Steve Awodey / Norm / Modal fictionalism / Linguistic modality / Formal ethics / Homotopy type theory / Logic / Mathematical logic / Modal logic](/pdf-icon.png) | Add to Reading ListSource URL: www.mcmp.philosophie.uni-muenchen.deLanguage: English |
---|
50![arXiv:math/0602283v3 [math.AT] 10 Jun[removed]SYMMETRIC JOINS AND WEIGHTED BARYCENTERS SADOK KALLEL, RYM KAROUI Abstract. Given a space X, we study the homotopy type of Bn (X) the space obtained as the “union arXiv:math/0602283v3 [math.AT] 10 Jun[removed]SYMMETRIC JOINS AND WEIGHTED BARYCENTERS SADOK KALLEL, RYM KAROUI Abstract. Given a space X, we study the homotopy type of Bn (X) the space obtained as the “union](https://www.pdfsearch.io/img/d576d6ba449aaacd00aa9eee93460bf6.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2010-06-10 21:19:56
|
---|